Corresponding Regions in Euler Diagrams
نویسندگان
چکیده
Euler diagrams use topological properties to represent settheoretical concepts and thus are ‘intuitive’ to some people. When reasoning with Euler diagrams, it is essential to have a notion of correspondence among the regions in different diagrams. At the semantic level, two regions correspond when they represent the same set. However, we wish to construct a purely syntactic definition of corresponding regions, so that reasoning can take place entirely at the diagrammatic level. This task is interesting in Euler diagrams because some regions of one diagram may be missing from another. We construct the correspondence relation from ‘zones’ or minimal regions, introducing the concept of ‘zonal regions’ for the case in which labels may differ between diagrams. We show that the relation is an equivalence relation and that it is a generalization of the counterpart relations introduced by Shin and Hammer.
منابع مشابه
Generating and Drawing Area-Proportional Euler and Venn Diagrams
An Euler diagram C = {c1, c2, . . . , cn} is a collection of n simple closed curves (i.e., Jordan curves) that partition the plane into connected subsets, called regions, each of which is enclosed by a unique combination of curves. Typically, Euler diagrams are used to visualize the distribution of discrete characteristics across a sample population; in this case, each curve represents a charac...
متن کاملThe Online Abstraction Problem for Euler Diagrams
A Euler diagrams are an accessible and effective visualisation of data involving simple set-theoretic relationships. Efficient algorithms to quickly compute the abstract regions of an Euler diagram upon curve addition and removal have been developed, but a strict set of drawing conventions (called wellformedness conditions) were enforced, meaning that some abstract diagrams are not representabl...
متن کاملMinimum-weight tree supports and tree-shaped area-proportional Euler diagrams
Euler diagrams allow the visual representation of set systems and their intersection relations. Every set is represented by a collection of closed curves such that elements of two or more collections intersect if and only if the intersection of the corresponding sets is non-empty. In the area-proportional case each intersection’s area conveys numerical information. There exist several well-form...
متن کاملTowards a General Solution to Drawing Area-Proportional Euler Diagrams
We present a deterministic algorithm for drawing Euler diagrams using n simple polygons so that the regions have a prescribed area. Our solution works for all Euler diagrams that have a region of common intersection (i.e., region {1, 2, . . . , n}), and for any weight function. When there is no region for {1, 2, . . . , n}, the algorithm can still be applied, but will sometimes create an Euler ...
متن کاملEuler Diagram Encodings
Euler Diagrams are a well-known visualisation of set-based relationships, used in many application areas and at the basis of more complex notations. We propose a static code for concrete Euler Diagrams, which enables efficient storage (vs. storage of concrete diagrams), and transformations preserving concrete-level structure, hence the viewer’s mental map. We provide the theoretical underpinnin...
متن کامل